first-order logic – Deutsch–English translations

🇬🇧 en de 🇩🇪

first-order logic noun

  • formal deductive system expanded from propositional logic
 Prädikatenlogik erster Stufe
Wiktionary Links